<?php
session_start();
$user = $_SESSION["user"];
if (!isset($user) || empty($user)) {
    header("Location:./login.html");
}
